"María Alpuente" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Logic-Based Program Synthesis and Transformation - LOPSTR 2010

María Alpuente

4.01 Mb

#2

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)

María Alpuente, Byron Cook, Christophe Joubert

9.47 Mb